首页> 外文OA文献 >An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams
【2h】

An efficient algorithm for exact computation of system and survival signatures using binary decision diagrams

机译:使用二进制决策图精确计算系统和生存特征的有效算法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

System and survival signatures are important and popular tools for studying and analysing the reliability of systems. However, it is difficult to compute these signatures for systems with complex reliability structure functions and large numbers of components. This paper presents a new algorithm that is able to compute exact signatures for systems that are far more complex than is feasible using existing approaches. This is based on the use of reduced order binary decision diagrams (ROBDDs), multidimensional arrays and the dynamic programming paradigm. Results comparing the computational efficiency of deriving signatures for some example systems (including complex benchmark systems from the literature) using the new algorithm and a comparison enumerative algorithm are presented and demonstrate a significant reduction in computation time and improvement in scalability with increasing system complexity.
机译:系统和生存签名是研究和分析系统可靠性的重要且流行的工具。但是,对于具有复杂的可靠性结构功能和大量组件的系统,很难计算这些签名。本文提出了一种新算法,该算法能够为比使用现有方法可行的方法复杂得多的系统计算准确的签名。这基于使用降阶二进制决策图(ROBDD),多维数组和动态编程范例。给出了使用新算法和比较枚举算法比较某些示例系统(包括文献中的复杂基准系统)的派生签名的计算效率的结果,这些结果表明,随着系统复杂度的提高,计算时间显着减少,可扩展性得到改善。

著录项

  • 作者

    Reed, Sean;

  • 作者单位
  • 年度 2017
  • 总页数
  • 原文格式 PDF
  • 正文语种 en
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号